] ↓⊂πx
 xαβ_∪@H8∧YMx ∧∃U@⊂≥W@:β⊂iU_)T)⊂∞ph∀@_(⊗(	@
h
(∀@⊂(@∀h∀@⊗(∞∀h¬⊗(∞∀h@,→⊂P
,∩@
,⊃↔,∩@↔,⊃Lπ↓
G	,	,⊂@	_∞@	,∂	≤∩∪,π↓λl⊂@∀L	⊗		∀f_h∀@→h∀@⊗4I@L⊂β,
Q8	,@_-'@	8s@_8b∃,ε@α,⊃⊂¬yw¬yb@	8∃@⊗1B@α¬@∧↓Q(α∧	9w	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@	 ∪@α∧@α
D@β⊃E@⊗λ'@λ⊃@λ,∀⊃@⊃l
∂(∀_⊃(@∞h∀@∪h	S(
h∀@h∀R ⊃h∀@⊂(@↓h⊗@πh@∩h∀RPh∀ ↔h@⊂(@∃h	S(∞(Qp∃iI@⊂h@(∂@∀(⊗Rp∂h@∂(↔R →(↔R ∂(⊗RP∂(_Rx
(∀@αyx	,⊗αym	,
@α,α,⊃λλ↓∀	lβ∪Pπ	l⊃π	βl→⊂⊂	MG∀h	lβ@l∩@↓-Qλl⊃QHl⊃⊗Lβ@	Lβ@	
∪P	MD∪P	MG∧L∃ελ@¬$∀λ	Lπ∀⊂λL∃⊃H∩∃⊃PλL∪λMU⊃xεL⊃@	⊂⊃0~⊂	,⊂@	,⊂@	,λ↓∞≤P↓  ↓#G ↓1cP↓49↓5*`↓CG ↓U*`↓U*p↓g∞ ↓xqpα∪G⊂α∪G α≤9α'∞0α.≤Pα.≤`α@⊂α@ αQc`αU*pαg∞0αjU@αu*pα|9⊂βπ∞0β∞≤Pβ⊃c`β_rβ≤9⊂β≡≤`β  β!c`β#G0β*U@β*UPβ.≤`β>'PβG∞@βJU@βN≤Pβ` βn≤Pβqc`βqcp∧βG0∧
UP∧∃*p∧  ∧N≤`∧g∞@¬ 1c@↓\α
U0α≤8pα.≤@αM*`αO␈pαQc@αW≥@α↑≤@αcG⊂αcG αp⊂βπ∞ ␈␈?G⊃cP#G⊂>≤@G∞G∞ jU α∧ ⊃H@∀(`⊗mP⊗m`⊗}⊂_⊂≤(`≥|⊂  P!"P(⊂@(Q0+&`-
 .= 1C 2U@4" 5*`5K07/9"`:5<λ =
@>↓P>#⊂@⊂@@ `@A @oB∧0DYPE
0E*pI∩@J5N]PQ"`R$`U
0U
@Zv⊂[⊗P]| lz⊂o←ptλ0↓∩∧0≠⊂@∪⊂λ~ `→@X≠h	p⊂∂p⊂λ0⊂
0⊂@↔0⊂~ p≠x	p⊂∂p⊂λ0⊂
0⊂@↔0⊂@_¬`	`α⊂∂p_@λ0_@ πX@ π`@_β`@_βp_0 _0(≠p(→0(@_p(⊂00_0(≠p(→0(P0@⊂0⊂08≠p0→00_00≥00≤P0∪p(⊂p(⊃p(@∀0(≡00≥00≤P0≠p0→00_00@⊂00⊂0(∃p(⊗0(∃P(@⊗⊂(→0@≠p@_p@→⊂@≤0@≡⊂(≥P(≡0(@≥p(≥⊂(∃⊂0∪p(∃0(⊂p(∃p8⊗00⊃p(∃P8@∀0(@~P(␈}qc0␈}g∞↓∩∧0G∞ ␈␈\8p␈␈n≤0␈␈JU ␈␈8q`⊃cP↓∩%↓U*`jU0G∞ α
U0¬ G∞